east Germany as a single country